Stepwise Derivation of a Parallel Matrix Multiplication
نویسنده
چکیده
A standard multiplication algorithm for square matrices is transformed into a distributed algorithm. Every transformation step is veriied within the reenement calculus. Some high-level rules of reenement that are used in the derivation are proved.
منابع مشابه
A New Parallel Matrix Multiplication Method Adapted on Fibonacci Hypercube Structure
The objective of this study was to develop a new optimal parallel algorithm for matrix multiplication which could run on a Fibonacci Hypercube structure. Most of the popular algorithms for parallel matrix multiplication can not run on Fibonacci Hypercube structure, therefore giving a method that can be run on all structures especially Fibonacci Hypercube structure is necessary for parallel matr...
متن کاملOn Jordan left derivations and generalized Jordan left derivations of matrix rings
Abstract. Let R be a 2-torsion free ring with identity. In this paper, first we prove that any Jordan left derivation (hence, any left derivation) on the full matrix ringMn(R) (n 2) is identically zero, and any generalized left derivation on this ring is a right centralizer. Next, we show that if R is also a prime ring and n 1, then any Jordan left derivation on the ring Tn(R) of all n×n uppe...
متن کاملDist a distribution independent parallel programs for matrix multiplication
This report considers the problem of writing data distribution independent (DDI) programs in order to eliminate or reduce initial data redistribution overheads for distributed memory parallel computers. The functionality and execution time of DDI programs are independent of initial data distributions. First, modular mappings, which can be used to derive many equally optimal ant1 functionally eq...
متن کاملTernary DNA computing using 3 × 3 multiplication matrices† †Electronic supplementary information (ESI) available: Gel electrophoresis analysis, the stepwise treatment of H1, the individual 3 × 3 multiplication matrices operation of H2 and H3 and examples of fluorescence spectra corresponding to the parallel computation of three multiplication tables. See DOI: 10.1039/c4sc02930e
متن کامل
Algebraic adjoint of the polynomials-polynomial matrix multiplication
This paper deals with a result concerning the algebraic dual of the linear mapping defined by the multiplication of polynomial vectors by a given polynomial matrix over a commutative field
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1989